81. Logic Programming and Nonmonotonic Reasoning
Author: \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming.,برنامهنویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامهنویسی منطقی -- کنگرهها
Classification :
QA
76
.
6
.
L6
2015
E-Book
,
82. Logic Programming and Nonmonotonic Reasoning :
Author: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
Classification :
QA76
.
63
.
L64
2019
83. Logic Programming and Nonmonotonic Reasoning :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming ; Congresses. ;
84. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
Author: edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
63
.
I5
1991
85. Logic Programming' 89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
Author: K. Furukawa, H. Tanaka, T. Fujisaki eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
485
86. Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming )Computer science(-- Congresses
Classification :
QA
76
.
63
.
L6324
1989
87. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
88. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
Author: edited by Friedrich L. Bauer
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
Classification :
QA
76
.
63
.
L618
1991
89. Logic and computer science
Author: Edited by Piergiorgio Odifreddi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
9
.
L6
1990
90. Logic and computer science
Author: / S. Homer... [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
Classification :
QA
9
.
A1L6
1990
91. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author: S. Homer ... ]et al.[; editor, P. Odifreddi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
3
.
L28
Vol
.
1429
92. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author: S. Homer...]et al.[; editor, P. Odifreddi
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
3
.
L28
no
.
1429
93. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
3
.
L28
no
.
1429
94. Logic-based program synthesis and transformatio
Author: / Annalisa Bossi (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses
Classification :
QA
,
76
.
63
.,
I57
,
2000
95. Logic based program synthesis and transformation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming ; Congresses. ;
96. Logic based program synthesis and transformation
Author: / Alberto Pettorossi, ed
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses
Classification :
QA
,
76
.
63
,.
I57
,
2001
RC
,
458
,.
S43
97. Logic based program synthesis and transformation :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming ; Congresses. ;
98. Logic-based program synthesis and transformation
Author: Elvira Albert (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
Classification :
QA76
.
63
.
L67
2012
99. Logic based program synthesis and transformation
Author: / Patricia M. Hill (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses
Classification :
QA
,
76
.
63
,.
L69
,
2005
100. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
